https://ketabnak.com/book/103398/Modal-Logic-An-Introduction-to-its-Syntax-and-Semantics